[41] Talia Ringer - Proof Repair
Update: 2022-03-30
Description
Talia Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at University of Illinois Urbana-Champaign. Her research focuses on formal verification and proof engineering technologies.
Talia's PhD thesis is titled "Proof Repair", which she completed in 2021 at the University of Washington.
We discuss software verification and her PhD work on proof repair for maintaining verified systems, and discuss the intersection of machine learning with her work.
- Episode notes: https://cs.nyu.edu/~welleck/episode41.html
- Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter
- Find out more info about the show at https://cs.nyu.edu/~welleck/podcast.html
- Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview
Talia's PhD thesis is titled "Proof Repair", which she completed in 2021 at the University of Washington.
We discuss software verification and her PhD work on proof repair for maintaining verified systems, and discuss the intersection of machine learning with her work.
- Episode notes: https://cs.nyu.edu/~welleck/episode41.html
- Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter
- Find out more info about the show at https://cs.nyu.edu/~welleck/podcast.html
- Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview
Comments
In Channel

![[41] Talia Ringer - Proof Repair [41] Talia Ringer - Proof Repair](https://i1.sndcdn.com/artworks-rCfbmrUe6QW6VXR6-00wyYg-t3000x3000.jpg)
![[48] Tianqi Chen - Scalable and Intelligent Learning Systems [48] Tianqi Chen - Scalable and Intelligent Learning Systems](https://s3.castbox.fm/8c/4e/0f/f0da677567a3cfee7c215381a8da0241fc_scaled_v1_400.jpg)
![[47] Niloofar Mireshghallah - Auditing and Mitigating Safety Risks in Large Language Models [47] Niloofar Mireshghallah - Auditing and Mitigating Safety Risks in Large Language Models](https://i1.sndcdn.com/artworks-rtnX3AGf4Lc8MKk4-99fZ1A-t3000x3000.jpg)
![[35] Armando Solar-Lezama - Program Synthesis by Sketching [35] Armando Solar-Lezama - Program Synthesis by Sketching](https://i1.sndcdn.com/artworks-Yaar0UT8gfGUmYuG-qR8u9g-t3000x3000.jpg)


